$\forall$$A$,$B$:Type, $b$:$B$, $a$:$A$. strong{-}subtype($A$; $B$) $\Rightarrow$ guard((($b$ = $a$ $\in$ $B$) $\Rightarrow$ ($b$ = $a$ $\in$ $A$)))